Transformation Laws for UML-RT
نویسندگان
چکیده
With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is a demand. Transformations must take into account changes in both behavioural and structural diagrams. In this paper, we present a set of transformation laws that aims to systematise the evolution of semantically well-defined UML-RT models, with preservation of both static and dynamic aspects. The proposed laws support the transformation of initial abstract analysis models into concrete design models. Furthermore, we show the seamless application of the laws through design activities of the Rational Unified Process in the development of a case study. Soundness and completeness of the laws are briefly addressed.
منابع مشابه
Rigorous Development with UML-RT
With model-driven development being on the verge of becoming an industrial standard, systematic development strategies based on safe model transformations is a demand. However, the lack of a formal semantics makes the application of such transformations inadequate, especially transformations that must take into account changes in both behavioural and structural diagrams. As part of the Master t...
متن کاملClass and Capsule Refinement in UML for Real Time
We propose refinement laws for the top level design elements of Real Time UML (UML-RT): classes and capsules. These laws can be used to develop concrete design models from abstract analysis models. Laws for introducing and decomposing classes and capsules are presented. Standard data refinement techniques are adapted for classes, and process refinement techniques for capsules. We also propose t...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملA Semantics for UML-RT Active Classes via Mapping into Circus
The lack of a formal semantics for UML-RT makes it inadequate for rigourous system development, especially if the preservation of behaviour is a major concern when applying well-known model transformations, like refactorings and refinements. In this paper, we propose a semantics for UML-RT active classes through a mapping into Circus, a specification language that combines CSP, Z and specificat...
متن کاملFormal Specification of Real-Time Systems by Transformation of UML-RT Design Models
We are motivated to complement our methodology by integrating collaboration diagrams to facilitate the specification of capsules in UML-RT design models. An improved systematic transformation method to derive a correct and complete formal system specification of real-time systems is established. This article aims at integrating temporal requirements in the design stage of the life cycle of a re...
متن کامل